#ifndef KERNEL_H
#define KERNEL_H

void TK_logo();
#define sc(name) void _##name();
#include "syscmd.h"
void shell();
#endif